#include "types.h"
#include "stat.h"
#include "user.h"

void testtask2(void)
{
  int* pointerToAddress = (int*)4096;
  int a = *pointerToAddress;
  printf(1,"Test read from second page - to check other pages read wasnt destroyed\n");
  pointerToAddress = (int*)4000;
  int b = *pointerToAddress;
  printf(1,"Test Failed - succeeded reading from first page\n");
  while(1);		// inifinite loop - never stop the proccess
  *pointerToAddress = a+b;
}

int
main(int argc, char *argv[])
{
  testtask2();
  exit();
}
